perm filename AMBX8.360[360,GF] blob
sn#799951 filedate 1985-07-31 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T H$!X
C`EHα⊗ E@β⊗e8∧∃a¬0¬∃A%0¬∃!E(↓@@u αA¬ ↓Au_α↓↓¬_↓A@u⊂α↓A¬⊂↓Bu⊂ ∀"Eλ
∀@P∧∀0`βS`@`∧∪@@pβRA08πRA08πRA08πQ(D⊂∂πc1X¬i!H%εip8∧α p8∧Aip8¬↓ip8¬↓ip8¬↓ip8¬↓ip8∧B p8∧Aip8∧↓iq 'E)p8∧AIp8¬↓Ip8¬↓ip8¬Aip8¬Aip8¬Aip8¬Aip8¬Aip8¬α p8¬↓ip8∧Ai!X%εI!@"Qλ1`∂Fc0`∧A %_π@5λβA Pλ↓T`HβS@pXβ∪ phαS `pαSaα∩`qα∩`qλ↓R@q⊂↓R@q⊂↓R@tPβR@tPβR@tPβD@4XβD 4XβD 4`β∧Dhββ`DhβC DpβC5βα UλβA e_π∃A∀("⊃∧∩⊂
F`↓8%ε)!X'Aa@'Aa 8'Aa08'Aa@8'AaP8'AaP8'AaP8'Aa`8'Aa`8'Aa`8'Aa`8'Aa`8'Aa`8'Aa`8'Aa`8'AaP8'AaP8'AaP0'Aa@8'Aa08'Aa 8'Aa@%εi!H%¬hT "GβQX
@β$P
∩C$xβBdxβB@DxβB@TxβB`DxβA0 α∪`p ↓A 4xβA0(↓S`p_α↓ 4xβ@`Dxπ∪adxβ@`Dxβ@`DxβA00↓S`p ↓A@4xβA00↓S`p`α∪`p`α∪`pXαS`pXαS`pPαS`p@βRC4P
RC4("⊃C!X
F`↓H%ε)!H'A``8'Aa⊂ 'Aa⊂('Aa 'Aa 'A`P_↓↓ p8α@`0_'A`P_↓@ip8α↓ p8α↓ px'Cip8α↓ p8α↓ p8α@ip8α@ip8α@ip8'Aip8'Aip8%∧)!λ%∧(T #H∧1X
C↓ (↓∀ap⊂↓T!(∧T`PβS```β∪@`pαS aα∪aλα∩`qλα∩`q⊂↓R@q_↓R@tPβR@tPβR@tPβR@p@λR`p8λR`p8λS`pβS `hβS@``βS``XβT`H∧∀!(∧Ta`λαUA⊂(↓Q(D@⊃Iβ1X∧1%∧1%∧1'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'FIqP'FIp8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓ip8ε↓i!↓D !↓D !↓DλT $Dα⊃X
@α∧Pλ∩B∧xβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`txβS`tPλ∩B∧Pλ⊃(DP
E#1XαD q'D
P8*AjP8*AjP8*AjP8*AjP8*AjP8*AjP8*AjP8*Ai@ αAi00α↓i @↓Ai @↓Ai @↓Ai @↓↓i00↓↓i@h'αλT %HdAX
@α ε∩B ε∩B ε∪`pXαS`pPα∪`pHα∪`p8αS`p0αS`p(α∪`p αS`p_βS`p⊂∧∪`pλ¬∪b4x¬@tx∧@a∧x∧↓ txβAA∧xβAa∧xβBtxβB↓∧xβB!∧xβB@txβBA∧xβBa∧Pλb∧Pλb∧Pλb∧("∪β!X
F`↓λ%∧)!λ'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8'Aip8¬@ip8¬@ip8¬↓ p8¬↓ p8¬↓ p8∧A)p8∧A)p8∧↓)p8β↓i!H%ε)!H"Q RX⊗εc0εE↓$PεDa4Pπ∧A4x∧D!∧x¬∧↓∧x¬βa∀x¬CA∀x↓@ ph¬∪`0λ∧β0λβ∪`0⊂βB`@λβ∪`0⊂∧α@0⊂β∪`0_βB @⊂β∪`0_∧α0_β∪`0 βA`@_β∪`0 ∧↓@0 β∪`0(βA @ β∪`0(∧↓0(β∪`00β@`@(β∪`00∧ @0β∪`08¬A`dx↓B↓ 8β∪`0@∧Bdx↓B!@β∪`0HβB dx↓B@`Hβ∩A@0αA!tPε↓`@(πRA@8↓AAt("∪D2
F``¬C h¬β p∧C pPε@ipXεip_Aa@_'@`⊂@¬@ip_↓α↓ _'@`0@∧@ip_αα↓_'@`P@β@ip_βα`_'@`p@α@ip_∧α@_'@a⊂8αip_∧B0_'@a @↓ip_¬B⊂_'@a@X'@aPP'@a`H'@ap@'@b8'@b8'@b⊂0%β↓`(%β↓p %βα_"Q qp⊂Fc0X∧∀AeβAtxβαdpβα@dhββd`βCt`ββ@dXβC@tXβC@tPβDtPβDtPβDtPβDtPβDtPβDtPβDtPβDtXβC@tXβC@t`ββ@d`βCthββdpβα@dxβαeβAu⊂π∃!∧("∀βQp
F`↓0%ε)!P'A`p@'Aa⊂8'Aa⊂@'Aa 8'Aa 8'Aa 8'Aa 8'Aa⊂8'Aa⊂8'A`p@'E qλ'Aip8'Aip8'Aip8'Aip8'Aip8%∧ !%∧λT (GD∩_
Ba¬⊂π∀p βS``@β∪@`Pβ∪ ``β∪p`βS`pβ∩`ppβR`ppβR@qβR@qβR@qβR@qβR@qβR@qβR@qβR@qβR`ppβR`ppβS`pβ∪p α@`thβaλβ∪@`λα!$x∧@a¬∧`u⊂π↓ 5(¬A 5`α@`E`ε↔↓Eh¬↔!%h¬↔A¬xβ⊃(E⊂⊂HC1X¬ !8%ε)p8βα p8βB p8∧α p8∧Aip8∧Aip8∧Aip8∧Aip8∧↓ip8βAip8β↓iq_'D p8αA)p8β↓)p8β↓Ip8β↓Ip8β↓ip8β↓ip8β↓ip8β↓ip8β↓`P_'A``8α@i!↓A`0 %∧@`%∧`@"Q
18Fc00∧@`4pε@ 4hαA!∧`↓B@dX↓CTPαβ DPαβ@4PαC 4Pββ4P¬∩AdXλRb$` SB∀xλTae8¬∩@0pβ∩@0xαR@1α∩@@xα∩@Pp↓R@``α∩@pPα∩A (αR@0⊂π∩@0(∧Q(E ∞Gc1XFi1X%Fi08↓A`08%A P8αA) (β↓``(%↓ `8β↓) βA`p %↓p8βA _∧↓a_%a8∧jP8*AjP8*AjP8*AjP8*AjP8*AjP8*AjP8*Aia '¬ a "Q
R⊂⊃Fc0λ↓ADPλ↓ADPλ↓ADxβC`4xβC`4xβC`4xβC`4xβC`4xβC`4xβC`4xβC`4xβC`4xβC`4xβC`4xβC`4xβC`4xβC`4xβC`4xβC`4xβC`4xβC`5ββ@EβC 5λββ5⊂βα U_βA U(π⊗↓∀("∃D∩⊂
F`xβBi xβBi xβBip8π↓ p@ε↓
8εj@¬↓
⊂8¬j⊂@∧↓
8∧j 8∧j @β↓
08βj0@α↓
@8αj@@↓↓
P8↓jP`+αJ`P+αJp@+B0,↓K⊂ ,A⊂ "Q
r`↔Fc0εA`0¬∩A@⊂π↓A$PεA`0¬∪ pHβCDh∧α↓Pα∪@pHβB@4pβB pP↓SA@∧αDxβB↓@↓Sa0¬↓@EβAA 0↓Tp0¬↓@5∧↓↓@ α∀ p ↓@@p ↓T!⊂αA⊂α∀@p⊂↓Ap⊂↓T@p⊂↓Ap⊂↓TA@ ε∀a 0¬∀a 0¬∃↓@∧∃↓@∧∃↓@∧∃ `Pβ∃ `Pβ∃@@`α∃@@`α∃@@`α⊃(E@⊃Hc1Xβ`Ph%β`Ph%β`Ph'B↓0((α↓⊂ (Bp )αP )B0 *↓`0_*α⊂ *Bj`H+B@,AkH+Bj` B
P ↓B
P_αAj@ αB
0 βB
∧B
⊂ ¬B p(εB hβCi hβCi hβChT ,H$!X
@↓p8¬RAp8¬RAp8¬Sa`αT↓X↓T pPα∀!H↓T@p@α∀A0α∀a(↓Up α∃↓_↓U!λα∃@pλ↓UA58∧Vu@βVu@βVu@βVu@βVu_λ∀b¬_λ⊃(EPεc1X↓¬)A(&¬ @8αB @ ∧↓i0(βB 0 βB 0 βAi0 βα 0_βα 0_β↓j0@)Aj @(B
⊂8β@j@β@j8∧ip@βA `@∧↓ `8∧A P@∧↓)@@∧A @8∧A)0@βα 10%¬i!8"Q⊃(∧"⊂(∧∪!D`β`T`β↓T`β↓ T`β↓ Thα↓@U8αTA$pπ∪↓⊂⊂αR`p(αR@p0αR@`8αR@`0β∩`` βSα4p∧@t("_C⊃H
F`H%α) H'↓)`('↓)`('↓)`('↓)`(↓↓ia'α@0'↓@p0'↓!⊂0'↓!⊂0'↓! 0'↓! 0'↓! 0'↓! 0'↓! 0'↓! 0'↓!⊂0'↓A0'↓@p0'α@0'↓⊂X'`@8"Q1λ ∧"⊂8βSADhβ@d`β`dXβ↓dXβ↓dPβ↓@DPβ∩@dPβ∩@dPβ∩`dXβα$`β↓`$hβ↓Dpε∀ t("→β↓H
Fa@H+α*`H-↓+ (-↓+ (-↓+ (-↓*⊂@A)q&A@@@&↓@p0%AA⊂(%AA⊂(%↓A (%↓A (%↓A (%↓A (%↓A (%↓A (%AA⊂(%AA0&↓@`8&A@@X'Dj⊂8↓αλT 2DbAλλA`tx¬S `_αS`(αR``0αR``8αR@`@αR@`@αRB4P R@dPβ∩`dXβα@$`βα4hβADxε∀!∧("→B!⊂
Fa8(αip0AIp(↓↓I`(↓AI`(↓AI`(α↓ `('↓)`(%β) h%β)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓) `%β `"Qq(ε"⊂(∧ dpλS`⊂¬SP ¬∩`P0∧∩`P0αR`P0αR`P0αSP αS`⊂β∪!4`¬S$`↓S↓dhπS"∀` ∩`@Pβ∩@@hα∩@@hα∩@@hα∩`@Xα∪`(β∪!u∧Q(F@F#1Xα) H%α)`('↓)`('↓)`('↓)`('↓ 08'↓ ⊂P'α 0('↓``('↓@p('↓@p('↓!('↓!('↓!('↓!('↓!('↓!('↓!('↓!('↓!(%β⊂`%β⊂`%β⊂`"Q
⊂X¬Fc0 ↓S T`βSt`βS Tp↓Q`$P∧RA∀P∧S@TpαS@TpαS@TpαS@TpαS@TpαS@TpαRA4P¬RA4("~A`P⊃Fa⊂_)↓*⊂8(Aj⊂8)↓*0_#@IpH'B)pH)A*0()A*0()A*0()A*0()A*0()A*0()A*0()A*0(%A@(%↓@0(%↓@0(%↓@ (%↓@⊂0%BIP8"Q
1@εc0∧RA∀P∧S@TpαS@TpαS@TpαS@TpαA↓∀pαA↓∀pαA↓∀pαA dpαADpα@`Dpα@ Tp¬SADpεS@`⊂β∪@P β∪@P(β∪@P0αS@P0βRA@λ¬RA@λ¬RA@λ¬Q(F`εββ1Xα) H%α)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓) `%β `"Q
R@∀∧"⊂∧@`p8βRA⊂λ¬@a4PεAPλα↓TpβA`p8αS@`@βαTpβα`@αS@PHαB TpαB PHαS@PHαB TpαB PHαS@PHαB TpαB PHαS@PHαB TpαB PHαS@PHαB TPεA@⊂ε∩A@⊂εADPεA@⊂ε⊃(FpF"⊃λα 08%α ⊂P%β 0('↓``('↓@p('↓@p('↓!('↓!('↓!('↓!('↓!('↓!('↓!('↓!('↓!(%β⊂`%β⊂`%β⊂`"Q
q(∧"⊂8βSa4hβ`d`β↓ dXβ↓`dXβ↓`dPβα dPβα dPβα dPβα dPβα dPβα dXαB TXβ↓`d`αA`Thβ`dpεT t("≤β⊃HD H↓↓i! %β@0'↓@p0'↓!⊂0'↓!⊂0'↓! 0'↓! 0'↓! 0'↓! 0'↓! 0'↓! 0'↓!⊂0'↓A0'↓@p0'α08'∧ `(↓↓i`('↓)`('↓)`(%β `%βλT 8Fβ⊃HλA`p ↓Sa0λα∪ p_∧∪`0βR``@β∩``HαR@`PαR@`PαR@`PαR@`PαR@`PαR@`PαR``HαR``@β∪`0βS ` ∧∪b¬λβ@@UPαV@UPαV@UPαUAE0ε∃AD("≤B!⊂λD @↓A) @↓↓i @B)`8AI`0↓↓I`0↓↓I`(α↓ `('↓)`('↓)`('↓)`('↓) `%β `"Q∞1λD"⊂ β@ 4`εR`@ β∩@@8α∩@@8α∩@P8↓RA ↓RATXεS↓ThεR@0 ∧R@0@αR@@@α∩@P8α∩@p α∩AdP↓@@t("≥↓qF P_'@ip_'@i` '↓ ` &A) p%βI p&A)P(&A)P(&A)P(&A)P(α@IP(α@IP(α@IP(α@IP(α@I`(↓@ipH(↓hT :F#⊃λλ@↓⊂ ∧RA⊂ ∧RA⊂ ∧S@P@αS@P@αS@P@αS@P@αS@P@αS@P@αS@P@αS@P@αS@P@αS@P@αS@P8β∪@P8β∪`P ¬Tα5⊂β@A∧("≥Bq8λD X↓B) X↓B) X↓B)`(∧↓ `0β↓ p(βip0α↓
(αj0↓↓
⊂(↓j⊂P)α
@)AJ00*↓
@ *↓λT ;HD!λλ@↓ _∧A↓∧P¬a⊂ ∧∩A _∧A↓∧hαBP@↓S `0βA@DpαA@p0↓S@` ∧ADxαA0λαA4xβ@@λβ@Eα@@0_α@@5¬a%λ∧↓!¬λ∧↓!¬⊂β↓`e⊂β↓`e_αα E_αα E_αα D("≡β!HλD ⊂Xαα)0Xαα)0Xαα)p8αA*⊂0↓A
0A
0H*↓jP0*↓j0H)↓⊂0(A00(↓P0'↓ p8%α `X%α `X%α `X"Q∂⊃8F"⊂¬@a∀P¬@a∀P¬@a∀pαBDpβ↓@DxαA@4xβ↓EαA5β@Eλα@@5λ¬∀A¬⊂∧∀A¬_β∀`e α∃E ↓S@_α∩``⊂↓R``λα∩``λ↓Ra$`∧∪ T("≡B!_λD ⊃λ%D)0(α↓i0 αAI0 α↓i0_α↓i0_↓Ai0_↓AJ8'A`0_'↓`@_'↓@P_&A`@ &↓`P %A`P %A@P(%∧)!λ"Q↓H
εc0∩C∧P∪`p(βS`p@α∪`p@αS`pHα∪`pHα∪`pHα∪`pP↓S`pP↓S`txβS`txβS`txβS`txβS`txβS`txβS`txβRB∀PλRB∀("$"(
Fap ,A0,↓Jp@+B
`P*C
P_↓↓j@ ↓α
@_α↓j0 αα
βα
_∧↓j⊂ ∧α
⊂_¬↓j ¬α p εα p_π↓i` πα `_λ↓iP λα Ap&πI2%H "⊂%λHT ↓πd!X
Ba∃⊂πTp(βS``Hβ∪@`Xβ∪ `hβ∪phβS`xβ∩`pxβR`pxβR@p_↓A 0_βR@p_¬@`tPβ@a0_βR@p_¬@`tPβ@a0_βR@p_¬@`tPβ@a0_βR@p_↓A 0_βR`pxβR`pxβS`xβ∪phβS `hβ∪@`Xβ∪``Hβ∀p(βTAu(∧Q(@_∞π#1Xε@jp_+↓*`(+↓*P8*AjP8*α*@H*α*0X)@`⊂8)↓⊂@)`08)`08(A0@(@`P8(@`P8(↓P@(`p8(`p8'Ap@'@a⊂8'↓↓⊂8%α` x%α` x%α` x"QA8
εc0RBtPRBtPRBtP↓D 4P↓D 4PαC T`↓C 4`↓C 4` Sα4` Sα4` Sα4`↓C 4`↓C 4PαC TP↓D 4P↓D 4PRBtPRBtPRBt("↓$2
F`α_%λi"_'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8'Aa@8%β`Px%β`Px%β`Px"Qa`∂Fc0
RC4P
RaXβS↓hα∪↓hαS!hα∪A`α∪a`↓T↓X↓T!P↓T!¬⊂∧∀a¬ βU U(αα@5 αα`5_αβ5λαCEαC Dxαβ@Tpαβ`Thαβ t`Rc$P
RC4("↓cr⊂
F`08¬Ai0XβBi hαC) p↓CI p↓CI (↓α⊂@↓↓) _β↓@⊂0βi _βB`p_*B*PH*B*`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j`8+↓j↓⊂(∧J↓⊂"Q↓↓h⊂εc0( ∪b$x ∃ u(βTa5λSBThβ@ pλβSp⊂β@@tXβ@`p_βRA_β@a∧PβAp βR@p βAtPβAp βR@p βAtP∧`p_∧∩`p_β@`t`β@@p⊂βS pλβ@ tp
Tα∃_¬U u(βSb$x ∪b$("α#r⊂
F`a⊂(∧J↓⊂+↓j`8%↓`P8αAi @α↓`@@%A`@8α↓i0@↓A`0@&↓`08↓Ai@8↓A`08&↓`08↓Ai@8↓A`08&↓`08↓Ai@@↓↓` @&A` 8↓↓iP@A`⊂@'↓`⊂8Aia8'E*↓_(D*0h+↓j`8(∧J↓⊂(∧HT ¬πβqX
B!%λ∪@p0βS p@βS``β∩`p`βR@ppβR@ppβR@ppβR@ppβR@ppβR``pβ∩``pβ∩``pβ∪PpαSPpαSPpαS P`αS P`αR@0λαβ@λ↓R@0λαβ@λ↓R@0λαB@Pλ↓R@@λαα@@λα∩A⊂P∧RaP∧∩a⊂@∧Ra⊂@∧Ra⊂@∧Q(C
EC⊃HβAipX&A@00&↓@P0&↓ p(%A@p0%A!⊂(%A!⊂(%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%A!⊂(%A!⊂(%A@p0&↓ p(&↓@P0&A@00'β*⊂8"Qε⊃⊂
F#⊂P↓T@TXε∩aEβTuβTuβTuβTuβTuβTuβTuβTuβTuβRB$P ∩B$("B1(F P@&C)1%A 0H%↓`@@%↓`P8%↓`P8%A `8&`p8+↓jP8*Aj@8*↓J0()↓ 0_(A @_(↓`_'A` 'βi`x&CiA%D)!⊂%∧HT →DbQHA!∧hε∪↓d`α@`tXβ@`tXβ@`tXβ@`t`αAth↓A e β∀`dx∧∪a¬ αU@T`α↓@dXβ↓ tP∧↓tP∧↓tP∧↓tP∧↓tPβAtXαAt`π∪!DxβQ(C
EC⊃Hπjp +↓*P0*AJ@8)B
H(BJX(`⊂8'A⊂8'↓ 8&A08&↓@8%AP8%↓`8%¬)!(%¬*@8*↓j@8'D q'DλT ~DbQH@At`πS↓d`εS↓4`↓S4`↓S4`↓S↓4`εSP β∪00βU@e0βS08βR`P0βR@p(βR@p(βR@p(βR@`(βR`P βS↓dhε∪`t("
BQ0F!⊂8(αiph'↓` 0&A@@0&↓@P0&↓@P0%A@p %AI 0↓AI 0BI 0@` 0%α P(%α`0%αp0%↓a0%↓a0%↓a0%AA0%AA0&↓@`0&↓@`0&A@@0'βIp`(BλT ≠EαaP
4X Rb4X ∩b∀Xλ∩B∧Pλ∩@@8α∩@0@↓R@08α∩@00α∀`E⊂αT UλαTeβ∪`txβSA∧p∧∪A∧p∧∪A∧xβ∀D("∞α1(F `@'αiPh&↓ @0%A↓(%A↓⊂ %A! %A`` %B 0(%D @p&C `h&CiA%A 0P%↓ `@%↓↓⊂0%↓↓ (%↓↓0 %↓! %↓A %A`@0&βiP`'BλT ≤E"aHAA∧pε∪!d`β↓dXβ↓@dXβ↓`TPβαdPβαdPβα dPβα dPβα dPβα dXαBtXβ↓`t`αAA∧hβa∀p¬ eβ@ e@β∪ @0βS`(β∪` β∪`_β∪↓dhε∪a∧(" α1(∂G!_)j@'β @(@`⊂(%A0_↓A 0 ↓@`0 %↓@_↓↓I α` 0%↓@_↓↓I (↓@` 0%↓@ _↓A X%Bi@h&C)`h(Bj P%A0_↓↓I 0↓`0(%↓@ _α↓ 0↓`@ %↓@ _α↓ (↓@`@ %@`@_↓A 0 ↓@` &↓ ⊂_A P`'B
_)hT ∪λ$1X
B@e⊂∧T P⊂α∀ @ α∀P α∀P α∀P α∀P_αTP⊂β∀↓E¬A!5λ∧AA5λβB↓5βCTp¬α`4hεα D`β `@α∩``⊂βA@DPβ@`p α∩@`(β`TPβ↓ pλαR@`0¬R@`8∧A`4PβAa8↓R`p ε↓D`∞S!P_¬SaHβQ(Cp ¬β1_∧j⊂((↓j8(↓j⊂()hp⊂)j _)j _(A
⊂ (↓ p('↓)@0%A@` %↓@`0%↓@`0%↓@`0%↓@`0%A@P(&βI`P"Qπq⊂
εc0 ¬∪↓dXαA dPβ↓@dPβ↓@dPβ↓@dPβ↓@dXα↓@e β∀`U⊂αT@Eλα∀ Eλ↓T 5λ↓T 48↓∀ 5αS`txβS`uαT 4("∧↓0XλD H%α) H'↓)`('↓)`('↓)`('↓)`('↓)`('↓)`(%αi X%αhT λC↓!Hλ@a∀h∧S!∃λαT UλαT UλαT UλαT UλαT UλαT UλαT UλαT TXα@TPβ TPβ TP¬RA4X∧Sd("ε"a0
Fa@(β p0↓AIp(α↓I`(β↓I`(β↓I`(β↓I`(β↓I`(αAI`(α↓I HB HAi H↓AI`(αA)`(β↓)`(β↓I`(β↓I`(βAI`(βAI`(βAI`(βAI`(↓↓⊂0'↓ ⊂`'↓ ⊂`'↓ ⊂X%α ⊂P%α @%α 0("Qβ"⊂D"⊂(∧↓`thεAD`βa0_αS` ∧↓@T`β↓ `8αS`(βαThα↓@PHαU`PHαTC∧p∞∪↓⊂⊂αR`p(β∩@p8αR@`@βα@$Pβ↓a@↓R`` ¬A D`ε@aDp∧Aa∧("εd2 λD p8∧AipXαβ P0↓A@⊂0↓A)@(βB `(%A!⊂8βA)0(∧Aa(%↓!00∧↓) (¬A!⊂(%↓!1_%↓!1_%↓!0(%↓!0(%A!⊂8%A!⊂@¬I@(βB!⊂_&A@00A@P 'β @`(Aa⊂@"QβA(ε"Qλ↓⊗`%P↓V 5λβ@ $xε∪ `_β∪P0β∩`P0∧∩`P(↓@ TPαA@ _αR@P(↓@`TPαA αR@P ↓ATPα@`0(αR@P_↓↓@TXα@ 0(αRa0αS`0αS `_β∪ATp↓ th↓S4`↓∪$("λ pX
F` _%A) 8%↓i 8%↓i 8%A)0(%A)0(%A)0(%A)@_&i@_&i@_#@)@_%A) 8%↓i 8%A)@_"Q∧2⊂∩Hc1↓A`5Hα↓@EHα↓@EH↓A`5@α↓`5@α↓@E@↓A`E8α↓`58α↓@E8↓A`E0α↓`50α↓@DP⊃∩D$P⊃∃ 08α∃ 08↓U@0α∃@0α∃08↓T`@8↓RD$P⊃∩D%⊂α↓@E⊂↓A`Eλα↓`5λα↓@Eλ↓A`Eα↓`5α↓@E↓A`E↓A`4xα↓`4xα↓`4x↓B4(" $20∂G P(
@iP@ A @(↓b⊂ %A @_π↓)0 αA↓00%↓ P0βAi (β∧I (β∧) (βa _%↓ `_∧A (βa %↓ P βA 0 α@`p %A @_β↓ @(↓`` &B` αA)p(β↓@@,A@(↓k α↓ @_+AP α@j` αA P *A`(βj@ βA `_*a(βj0 ∧↓ `_)↓↓⊂(βj⊂ ¬↓ P (↓↓@ α@ip εA @_'↓↓p(↓iP λB P_
↓(T ∪B↓0p
@@DXβ∩@tP∧∩A∧XβS0λ↓∀$x↓S`$p↓S@$`α∩`DX↓⊃(B@¬D∧qh∧@J⊂ (↓ p '@i` &A P &↓)@ %A)0(%A)0 %↓) (%↓) (%↓) (%↓) (%↓) (%↓) (%A 0(%A)0(&↓ @(&A P '↓ p_'A
(A
0⊂"Q¬⊂XεIcP↓∩@DXα∪Dh↓S Dpα∪@DpαS`DxαS`TxαTEαTUαTUαTUαTUαTUαTUα∪`TxαS`Txα∪@Tpα∪@Dhα∪ 4`α∩`DPα∩@$("
B⊃ λπ!⊂(A
⊂ (@i0_↓@`0_%↓ _↓↓) 0@`⊂0%A@⊂λAIp8'Ai00@ ⊂0%↓@⊂_AI (↓` (%@`0_↓@j⊂ (A
⊂"Q¬1x⊃πc⊂p↓V5@↓V5@↓V5@↓V5@↓V5@↓V5@↓V4P∂RCtP∂V5@↓V5@↓V5@↓V5@↓V5@↓V5@↓V5@↓V4("↓Xπ↓@ %AI 8%α @%Ai@_@J⊂'@ip⊂'i`⊂&↓ 0 %@HT ↔↓a 0β@4XαR@tPβR@tXαS4("b1(∪G"_-k⊂ ,A ,↓
p +A
p_+↓
` *A
P *↓
@ *j0 )A
)↓
⊂ (A
(↓
_'A p '↓ ` &A P &@i@ &↓ 0 %A %↓ _%hT ≥↓a!λλ@@4XαR@tPβR@tXαS48↓S4XαR@tPβR@tXαS4("∞`pPD _%A) 8%↓i 8%A)@_#@i@_%A) 8%↓i 8%AI@('@Ip⊂'i`⊂&@i@_%@i0⊂"Qπ@8¬Fb0⊂↓R`TPβR@tPβR`T`↓Q`∀`↓S4`↓S4`↓R`TXαR`TXαR`TXαR`TPβR@tPβR@tPβR`T`↓Q(Ch∂HAQπi!x%πhp8%πi!x%πhT πd!X
Ba∃⊂πT`8β∪`PXαS@@xα∪ @(βA D`αa@ α∪0_β↓@ ↓R`@⊂αAa4X↓@@PHβ 4Pα@PPα@ DP↓@@PXα@@4P↓@@PXα@@4P↓@@PXα@@4P↓@@PXα@@4P↓@@PXα@@4P↓@@PXα@@4Pα@PPα@@4X↓@@PHβ DXα@P8β@ 4`↓@`` ε∪@_ε thα↓ p αS@DxαD Eβα!%⊂
U!D("⊗`p`∪G 8%↓i 8%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%↓i 8%↓hT .Aa∩8∞@tPβR@tp↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4PβR@tPβQ(F∧αAaXα@IP &↓ @⊂%@i0⊂%i ⊂%@⊂_%↓i @%α 08%AI@ "Qα Hπ↓c0λ↓R@TPβ∩@tXβStpαS`D("∧a⊃⊂βF`P_'↓)P0&↓i08%↓i (%↓λT
βb00@0H↓R@P(αSPλαS!∀pβS`U↓Q(A(πDa↓XA0⊂%A0⊂%a⊂_%@A⊂⊂%@`p_&↓0 &αiPH'A(T ∧"@_α∀PλRB∀P↓β $("¬a!8∧ε` 0%B ↓↓ _αi _αi _αi ↓↓ 0@&↓HT ββ@ATpαS@tp∧∀ UλαS`tP¬RA∀("λ↓@`αCa (↓I`0%Ai 0%hT /β" 0
A 4pαS t`∧R`PλαR@@(α∩@ H↓⊃(ExβB@aX↓i0(%↓i 8%↓i0(&hT >CB0@
@`0 ↓SP⊂αSP⊂αR``λβ∩`P⊂αR@P⊂αR@P⊂αR@@_α∩@0 ↓Q(GpπD`AX↓A P⊂&↓`0_%C) _↓Ai ⊂αA(T ?Cb00
@@0(↓R`P_αR@pλβR@pλβR@pλβR`P_αS0(↓Q(Ah∀
#1X¬FjQX*Fk⊂_A`P8,@`⊂8∧↓ Aa(,` 8∧A
p ↓↓` _α↓
p_↓A` _α@j` ↓A` _α@j`_α↓`⊂ α@jP α↓`⊂ *@`P`*↓P`*``8A
0 β↓`⊂ )@`p8↓``_)↓p8↓``_)∧@ _βj⊃_¬↓
⊃_¬↓
∧Aa⊂((a 8∧A)p ¬↓a('↓↓08β↓i X↓F) X↓F) X↓F(T ∂
eaX
Bce⊂⊂T p S`p8∧αdpβα@pPα∪ pPβB@T`βB`pXα∪``βA0 α∩`p`βA0(↓R`p`βA0(↓R@phβ@`@(↓R@phβ@`DPβC!dPβC!dPβC p_α∩@phβ@`DPβC p ↓A@4PβC p ↓A@4XβCp ↓A@4XβCp`α∪``βCD`βB`pXαS pPβB`Tpβα@pPαS`p8∧αuλβAβ¬⊂⊃∃#t("πcr⊂∂G#_0A
PH↓A
!⊂(↓`P@'AA⊂0'↓A 8&AA H&↓a⊂X&↓A AI08∧A 8%Aa(↓↓i 8∧A@8%↓a αAi 8βA P8%↓`p β↓i 8β↓p8%↓`P(βAi 8αA↓8%↓`@ ∧Ai08↓↓!8%A` ∧Ai@0A↓ 0&αa⊂8&B! 0'↓a 0'AA⊂0'BP8'DI` ↓B)` 'hT ¬GcqX
B!⊂_βT"uβ↓↓λβ∪`P0β@@dpαA``_β∪@P8β`dpαBP α∪@P@αS@P@αS@P@αRc∀XRc∀pαBTpαBTpαBTpαBTpαBTpαBTpαBTpαBTpαBTpαBTpαBTpαBTPε!DPε!DPε!D("ββ⊃H
Fa⊂H(C*0α↓)p(β↓I`(βAI`(βAI`(βAI`(∧↓ `('↓)1(%E)1('↓!('↓!('↓!('↓!('↓!('↓!('↓!('↓!('↓!('↓!('↓!('↓!(%β⊂`%β⊂`%β⊂`"Q↓QHFc0H∧@ 5λπT` β∪`P0β∪@P8β∪@P8β∪@P@αS@P@αS@P@αS@P@αRbTX
RbTpαBTpαBTpαBTpαBTpαBTpαBTpαBTpαBTpαBTpαBTpαBTpαBTPε!DPε!DPε!D("βDr8
Fa⊂HαB*⊃X(↓@@HαA)p(β↓`p0'↓ p8βAI`(βAA0'↓ p0∧↓I`(∧↓!⊂ '↓!('↓!(%Hi2_%Hi`(∧↓!⊂('↓!(∧A)`(∧↓!⊂('↓!(∧A)`(∧↓!⊂('↓!(∧A)`(∧↓!⊂('↓!(∧A)`(∧↓!⊂('↓!(∧A)`(∧↓!⊂('↓!(∧A) `C `%β⊂`↓β `C `"Q↓r8∪Fc0P∧A↓⊂λ↓T#Uβ↓!(β∪`P8β↓`dpβ↓``8β∪@P@β↓`dpαBPHαS@P@αB TpαBPHαS@P@αB TX⊃Rd4X⊃S@P@αB TpαBPHαS@P@αB TpαBPHαS@P@αB TpαBPHαS@P@αB TpαBPHαS@P@αB TpαBPHαS@P@αB TpαBPHαRA@λεADPε!@⊂ε∩A@λεAD("↔α⊃8πε`P⊂β@IP αA @ αA @⊂β@I0_βi0⊂β@I _βi ⊂β@I ⊂@`0⊂@i 8↓↓i @B @B 08↓↓i00↓AI@ αAλT ⊃∧" p
@@@(α∩``_β∩@p⊂βRAλ∧∩Aλ∧∩`p⊂βS0λ↓`0λ↓∀ 8↓∪`00↓S` 8↓∪@00↓S@ 8↓∪@(α∩`@(α∩` 8↓⊃(Bh¬C@Xαi X%αi X%αhT =Ebpλ¬@αtPQ(G`_⊂X #"}∃- λ∪z8-H` ⎇N ⎇N∨␈x␈␈∨␈x␈⎇@π>dλ∩@↓lx @⊃⎇H"_β>↓⊂λp{⊂d0π z ≡←0" xβ5X≡d(⊂↓MH(@λe⎇Haxβ ←${⊃d`πZ@T?0$ @x-≥↓C↑dH v(j@_?⎇I!HαDεh;p{∩d`πVN@↓↓?0&π Xa#`α ≡dh↔α)p\ h⎇Ib0βk' X@{∪dPπ,f0↓C∨0(λ h2, β"≡eλ∩@↓k_→@0m⎇J" βO7_v0{∀c@¬[]p↓{∨0*λ@hN≤@∧∂↑e(∪↓q b@N⎇Jb(βYq_↓⊃{∃f
⊂≠ α.∨0, pgD`¬∧↑eH∩@↓lx @P=⎇K!pα␈%↓-0{_#∧s→Pαg∨01ε`Pqc@¬←≡f_↓0¬@Xn⎇LAXα\8p↓A@{→"`∧-A0β∞␈03β`(}Jε-≡f8↓≤`f@`}⎇M↓Xα\8p↓U0{~!`α\8pβ7∨05β`(}Jε⎇≡fX
↓%@↔p$⎇M@p↓.≤8↓j0{≠%⊂λ∃*Pβ\←07ε`Pqc@πV↑fx↓≤`f@xT⎇N↓Xα\8p↓␈{≤# ¬⊗¬`∧ ?09¬@∪t@λ*≡g_ @{X∃↓p⎇NA_↓stPα∩ {≥#0¬8q`∧-?0;ε@P,@λn≡g8∩@↓k_→@↓λ{⎇O↓PαKαpα&{≡# ¬⊗¬`∧T←0=¬@@[α` ?≡`∞@↓<⊂G@↓_ ⎇@∩H∧
U(α9{D`πOR@∧⎇?0↓G``Pd
≠↑` ∂↓?P(↓ f⎇@R0βk' αR{↓D0π z ¬2∨0βI@x∨%
|≡`@⊃@↓b8i↓0$⎇A∩0βgi αk@{αD0π z ¬e?0_εHf3 k↑cλ↓≤`f@↓@
⎇F!@α9Lhβ¬{c∧s→Pε∪␈0~εHf3 =↑c(↓≤`f@↓H∨⎇Fa@α9Lhβ_`{
c∧s→Pε=␈0≤εHf3
≡cH↓≤`f@↓PE⎇DA@α9Lhβ.`{ D`πOR@εn␈0∨¬`H [
⎇↑cx@↓∀λ6↓`≡⎇Bp↓.≤8βH {∧!pα␈%π∃␈0FHf3 ∞<≡aP⊃@↓b8i↓h2⎇C20βgi β\{πβ∧s→PπD←0⊂C`(}J∂$≡b_∀@α¬(*@↓pf⎇DRP∧≤0βu@{ a`α\8pλα?0∀∧`8OR@⊂∞↑bH @yx%αH⎇E!@α9Lh∧∞@{
d`πOR@λ&∨0⊗β@(8q`⊂↑≡bpπWλc@αλO⎇Eq@α9Lh∧≠ {∞A`α\8pλA?0≥C@(8q`⊃≡c`π@←h∀α⊂2⎇GR0βgi ∧*⊂{⊂∧`πOR@λV␈0-C`(}J⊃X≡ehπ@←h∀α_[⎇Lp↓.≤8∧@p{∧C∧s→P ε←0 FHf3 ∩∪≡a ↓≤`f@α 1⎇BQ@α9Lh∧Gp{¬C∧s→P ∀?0I pgD`∩-≡a@⊃@↓b8iα k⎇Dp↓.≤8∧O{↔C∧s→P ?0/C@(8q`∩G↑gh↓≤`f@α(→⎇Oa@α9Lh∧Up{∨c∧s→P .␈0∞K↓λ←m`∩f↑ap_@α9HMα0≥⎇Cr0βgi ∧n{αc@¬[]p n␈0εε`Pqc@∪|≡`h
@↓._Gα@,⎇AbH∧
U(¬@{βe⊂λ∃*P
,∨0.εHf3 ∃≡b⊂↓≤`f@αP#⎇EQ↓QλH¬(p{≡c∧s→P
S␈0> ↓_Lf@∃*←⊂
VX_ow{⎇x